Abstraction of parameterized networks
نویسندگان
چکیده
منابع مشابه
Abstraction of parameterized networks
In this paper we are interested in the veriication of safety properties of parameter-ized networks. A network is deened as a parallel composition of an arbitrary but nite number of identical sequential processes, where we consider parallel composition by interleaving and synchronization by shared variables. Using abstraction techniques, a process, called an abstract network, encoding the behavi...
متن کاملAbstraction-based verification of parameterized networks
ion-Based Verification of Parameterized Networks Dissertation zur Erlangung des akademischen Grades Doktor der Naturwissenschaften (Dr. rer. nat.) der Technischen Fakultät der Christian-Albrechts-Universität zu Kiel
متن کاملAutomatic Veriication of Parameterized Networks of Processes by Abstraction
In this paper we are interested in the veriication of safety properties of parameterized networks. A network is deened as a parallel composition of an arbitrary but nite number of identical sequential processes, where we consider parallel composition by interleaving and synchronization by shared variables. Using abstraction techniques, a process, called an abstract network, encoding the behavio...
متن کاملVeryfying Parameterized Networks using Abstraction and Regular Languages
This paper describes a technique based on network grammars and abstraction to verify families of state transition systems The family of state transition systems is represented by a context free network grammar Using the structure of the network grammar our tech nique constructs an invariant which simulates all the state transition systems in the family A novel idea used in this paper is to use ...
متن کاملEnvironment Abstraction for Parameterized Verification
Many aspects of computer systems are naturally modeled as parameterized systems which renders their automatic verification difficult. In wellknown examples such as cache coherence protocols and mutual exclusion protocols, the unbounded parameter is the number of concurrent processes which run the same distributed algorithm. In this paper, we introduce environment abstraction as a tool for the v...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 1997
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80429-3